书籍列表

FORMAL METHODS FOR REAL-TIME COMPUTING 封面
FORMAL METHODS FOR REAL-TIM...

作者：CONSTANCE HEITMEY...
FME 2003 formal methods International Symposium of Formal Methods Europe 封面
FME 2003 formal methods Int...

作者：Keijiro Araki ; S...
FUNDAMENTALS OF SOFTWARE ENGINEERING SECOND EDITION 封面
FUNDAMENTALS OF SOFTWARE EN...

作者：[意]CARLO GHEZZI ...
返回首页